length :: [a] -> Int